$\forall$$P$, $Q$:$\mathbb{P}$. \{$P$ $\Leftarrow\!$ $Q$\} $\Rightarrow$ \{($\neg$$P$) $\Rightarrow$ ($\neg$$Q$)\}